Kirchner, Helene: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Programming with equalities, subsorts, overloading, and parametrization in OBJ

Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis

Journal:

The Journal of Logic Programming

Year:

1992

Language:

english

File:

PDF, 1.46 MB

english, 1992

2

CASL: the Common Algebraic Specification Language

Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 317 KB

english, 2002

3

Editorial: Strategies in Automated Deduction

Bernhard Gramlich, Hélène Kirchner, Frank Pfenning

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2000

Language:

english

File:

PDF, 15 KB

english, 2000

4

A Rewriting Calculus for Multigraphs with Ports

Oana Andrei, Hélène Kirchner

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 489 KB

english, 2008

5

Completion of a Set of Rules Modulo a Set of Equations

Jouannaud, Jean-Pierre, Kirchner, Hélène

Journal:

SIAM Journal on Computing

Year:

1986

Language:

english

File:

PDF, 5.12 MB

english, 1986

6

A novel integrated modelling framework to assess the impacts of climate and socio-economic drivers on land use and water quality

Zessner, Matthias, Schönhart, Martin, Parajka, Juraj, Trautvetter, Helene, Mitter, Hermine, Kirchner, Mathias, Hepp, Gerold, Blaschke, Alfred Paul, Strenn, Birgit, Schmid, Erwin

Journal:

Science of The Total Environment

Year:

2017

Language:

english

File:

PDF, 3.39 MB

english, 2017

7

A Port Graph Calculus for Autonomic Computing and Invariant Verification

Oana Andrei, Hélène Kirchner

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 483 KB

english, 2009

8

Restoration demography: a 10-year demographic comparison between introduced and natural populations of endemic Centaurea corymbosa (Asteraceae)

Bruno Colas, Florian Kirchner, Miquel Riba, Isabelle Olivieri, Agnès Mignot, Eric Imbert, Coralie Beltrame, David Carbonell, Hélène Fréville

Journal:

Journal of Applied Ecology

Year:

2008

Language:

english

File:

PDF, 538 KB

english, 2008

9

Labelled graph strategic rewriting for social networks

Fernández, Maribel, Kirchner, Hélène, Pinaud, Bruno, Vallet, Jason

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2018

Language:

english

File:

PDF, 2.62 MB

english, 2018

10

[Lecture Notes in Computer Science] Automated Deduction — CADE-15 Volume 1421 || A combination of nonstandard analysis and geometry theorem proving, with application to Newton's Principia

Kirchner, Claude, Kirchner, Hélène

Year:

1998

Language:

english

File:

PDF, 804 KB

english, 1998

11

Editorial

Hélène Kirchner, Wolfgang Wechler

Journal:

Theoretical Computer Science

Year:

1992

Language:

english

File:

PDF, 206 KB

english, 1992

12

[Lecture Notes in Computer Science] Automated Deduction — CADE-15 Volume 1421 || On generating small clause normal forms

Kirchner, Claude, Kirchner, Hélène

Year:

1998

Language:

english

File:

PDF, 1.00 MB

english, 1998

13

[Lecture Notes in Computer Science] Automated Deduction — CADE-15 Volume 1421 || System description: Proof planning in higher-order logic with λClam

Kirchner, Claude, Kirchner, Hélène

Year:

1998

Language:

english

File:

PDF, 283 KB

english, 1998

14

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 632 || Generalized sufficient conditions for modular termination of rewriting

Kirchner, Hélène, Levi, Giorgio

Year:

1992

Language:

english

File:

PDF, 1.00 MB

english, 1992

15

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 632 || The finiteness of logic programming derivations

Kirchner, Hélène, Levi, Giorgio

Year:

1992

Language:

english

File:

PDF, 966 KB

english, 1992

16

[IEEE 2007 Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Timisoara, Romania (2007.9.26-2007.9.29)] Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007) - Graph Rewriting and Strategies for Modeling Biochemical Networks

Andrei, Oana, Kirchner, Helene

Year:

2007

Language:

english

File:

PDF, 799 KB

english, 2007

17

REWRITING WITH STRATEGIES IN : A FUNCTIONAL SEMANTICS

BOROVANSKÝ, PETER, KIRCHNER, CLAUDE, KIRCHNER, HÉLÈNE, RINGEISSEN, CHRISTOPHE

Journal:

International Journal of Foundations of Computer Science

Year:

2001

Language:

english

File:

PDF, 3.33 MB

english, 2001

18

[ACM Press the 2007 ACM workshop - Fairfax, Virginia, USA (2007.11.02-2007.11.02)] Proceedings of the 2007 ACM workshop on Formal methods in security engineering - FMSE '07 - Weaving rewrite-based access control policies

de Oliveira, Anderson Santana, Wang, Eric Ke, Kirchner, Claude, Kirchner, Helene

Year:

2007

Language:

english

File:

PDF, 244 KB

english, 2007

19

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 632 || Theorem proving for hierarchic first-order theories

Kirchner, Hélène, Levi, Giorgio

Year:

1992

Language:

english

File:

PDF, 1.07 MB

english, 1992

20

[Lecture Notes in Computer Science] Automated Deduction — CADE-15 Volume 1421 || X.R.S: Explicit reduction systems — A first-order calculus for higher-order calculi

Kirchner, Claude, Kirchner, Hélène

Year:

1998

Language:

english

File:

PDF, 888 KB

english, 1998

21

A reflective extension of ELAN

Hélène Kirchner, Pierre-Etienne Moreau

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 1.20 MB

english, 1996

22

DrosophilaUri, a PP1α binding protein, is essential for viability, maintenance of DNA integrity and normal transcriptional activity

Jasmin Kirchner, Emese Vissi, Sascha Gross, Balazs Szoor, Andrey Rudenko, Luke Alphey, Helen White-Cooper

Journal:

BMC Molecular Biology

Year:

2008

Language:

english

File:

PDF, 6.53 MB

english, 2008

23

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 632 || A goal oriented strategy based on completion

Kirchner, Hélène, Levi, Giorgio

Year:

1992

Language:

english

File:

PDF, 576 KB

english, 1992

24

Combination of convex theories: Modularity, deduction completeness, and explanation

Duc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, Hélène Kirchner

Journal:

Journal of Symbolic Computation

Year:

2010

Language:

english

File:

PDF, 2.93 MB

english, 2010

25

Controlling Rewriting by Rewriting

Peter Borovanský, Claude Kirchner, Hélène Kirchner

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 1.47 MB

english, 1996

26

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 632 || On n-syntactic equational theories

Kirchner, Hélène, Levi, Giorgio

Year:

1992

Language:

english

File:

PDF, 553 KB

english, 1992

27

[Lecture Notes in Computer Science] Automated Deduction — CADE-15 Volume 1421 || System description: similarity-based lemma generation for model elimination

Kirchner, Claude, Kirchner, Hélène

Year:

1998

Language:

english

File:

PDF, 315 KB

english, 1998

28

Analysis of Rewrite-Based Access Control Policies

Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 375 KB

english, 2009

29

Proving weak properties of rewriting

Isabelle Gnaedig, Hélène Kirchner

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 552 KB

english, 2011

30

Induction for termination with local strategies

Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 514 KB

english, 2001

31

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 632 || Term rewriting with sharing and memoïzation

Kirchner, Hélène, Levi, Giorgio

Year:

1992

Language:

english

File:

PDF, 806 KB

english, 1992

32

Restoration Demography: A 10-Year Demographic Comparison between Introduced and Natural Populations of Endemic Centaurea corymbosa (Asteraceae)

Bruno Colas, Florian Kirchner, Miquel Riba, Isabelle Olivieri, Agnès Mignot, Eric Imbert, Coralie Beltrame, David Carbonell and Hélène Fréville

Journal:

Journal of Applied Ecology

Year:

2008

Language:

english

File:

PDF, 1.83 MB

english, 2008

33

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 632 || Counterexamples to completeness results for basic narrowing (extended abstract)

Kirchner, Hélène, Levi, Giorgio

Year:

1992

Language:

english

File:

PDF, 946 KB

english, 1992

34

[Lecture Notes in Computer Science] Automated Deduction — CADE-15 Volume 1421 || System description: Cooperation in model elimination: CPTHEO

Kirchner, Claude, Kirchner, Hélène

Year:

1998

Language:

english

File:

PDF, 287 KB

english, 1998

35

[Lecture Notes in Computer Science] Automated Deduction — CADE-15 Volume 1421 || System description: leanK 2.0

Kirchner, Claude, Kirchner, Hélène

Year:

1998

Language:

english

File:

PDF, 289 KB

english, 1998

36

Epigenetic Downregulation of FASN in Visceral Adipose Tissue of Insulin Resistant Subjects

Sievert, Helen, Krause, Christin, GeiÃler, Cathleen, Grohs, Martina, El-Gammal, Alexander T., Wolter, Stefan, Mann, Oliver, Lehnert, Hendrik, Kirchner, Henriette

Journal:

Experimental and Clinical Endocrinology & Diabetes

Year:

2020

File:

PDF, 538 KB

2020

37

Outermost Ground Termination

Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 302 KB

english, 2004

38

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 632 || Proof by consistency in constructive systems with final algebra semantics

Kirchner, Hélène, Levi, Giorgio

Year:

1992

Language:

english

File:

PDF, 1.02 MB

english, 1992

39

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 632 || Uniform narrowing strategies

Kirchner, Hélène, Levi, Giorgio

Year:

1992

Language:

english

File:

PDF, 919 KB

english, 1992

40

[Lecture Notes in Computer Science] Automated Deduction — CADE-15 Volume 1421 || Combining Hilbert style and semantic reasoning in a resolution framework

Kirchner, Claude, Kirchner, Hélène

Year:

1998

Language:

english

File:

PDF, 874 KB

english, 1998

41

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 632 || A fast algorithm for ground normal form analysis

Kirchner, Hélène, Levi, Giorgio

Year:

1992

Language:

english

File:

PDF, 907 KB

english, 1992

42

[Lecture Notes in Computer Science] Automated Deduction — CADE-15 Volume 1421 || Termination analysis by inductive evaluation

Kirchner, Claude, Kirchner, Hélène

Year:

1998

Language:

english

File:

PDF, 1022 KB

english, 1998

43

Strategic port graph rewriting: an interactive modelling framework

FERNÁNDEZ, MARIBEL, KIRCHNER, HÉLÈNE, PINAUD, BRUNO

Journal:

Mathematical Structures in Computer Science

Year:

2018

Language:

english

File:

PDF, 1.07 MB

english, 2018

44

Schematization of infinite sets of rewrite rules generated by divergent completion processes

Hélène Kirchner

Journal:

Theoretical Computer Science

Year:

1989

Language:

english

File:

PDF, 889 KB

english, 1989

45

Foreword

Hélène Kirchner, Giorgio Levi

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

1994

Language:

english

File:

PDF, 69 KB

english, 1994

46

Runtime Verification for Biochemical Programs

Andrei, Oana, Kirchner, Hélène

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 478 KB

english, 2013

47

Termination of rewriting under strategies

Gnaedig, Isabelle, Kirchner, Hélène

Journal:

ACM Transactions on Computational Logic

Year:

2009

Language:

english

File:

PDF, 712 KB

english, 2009

48

[Lecture Notes in Computer Science] Automated Deduction — CADE-15 Volume 1421 || On the relationship between non-horn magic sets and relevancy testing

Kirchner, Claude, Kirchner, Hélène

Year:

1998

Language:

english

File:

PDF, 893 KB

english, 1998

49

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 632 || Eta-conversion for the languages of explicit substitutions

Kirchner, Hélène, Levi, Giorgio

Year:

1992

Language:

english

File:

PDF, 983 KB

english, 1992

50

Modelled impacts of policies and climate change on land use and water quality in Austria

Schönhart, Martin, Trautvetter, Helene, Parajka, Juraj, Blaschke, Alfred Paul, Hepp, Gerold, Kirchner, Mathias, Mitter, Hermine, Schmid, Erwin, Strenn, Birgit, Zessner, Matthias

Journal:

Land Use Policy

Year:

2018

Language:

english

File:

PDF, 1.36 MB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски